as part of namespace rearrangements, and it's easier to clean them up if
we can move over them.
* Show some error results in moveBatch.php
-
+* (bug 6479) Allow specification of the skin to use during HTML dumps
== Compatibility ==
# List of raw pages used in the current article
var $rawPages;
+
+ # Skin to use
+ var $skin = 'dumphtml';
function DumpHTML( $settings ) {
foreach ( $settings as $var => $value ) {
}
$wgUser = new User;
- $wgUser->setOption( 'skin', 'htmldump' );
+ $wgUser->setOption( 'skin', $this->skin );
$wgUser->setOption( 'editsection', 0 );
$this->sharedStaticPath = "$wgUploadDirectory/shared";
* -d <dest> destination directory
* -s <start> start ID
* -e <end> end ID
+ * -k <skin> skin to use (defaults to dumphtml)
* --images only do image description pages
* --categories only do category pages
* --redirects only do redirects
*/
-$optionsWithArgs = array( 's', 'd', 'e' );
+$optionsWithArgs = array( 's', 'd', 'e', 'k' );
$profiling = false;
$dest = 'static';
}
+$skin = isset( $options['k'] ) ? $options['k'] : 'dumphtml';
+
$wgHTMLDump = new DumpHTML( array(
'dest' => $dest,
'forceCopy' => $options['force-copy'],
'alternateScriptPath' => $options['interlang'],
'interwiki' => $options['interlang'],
+ 'skin' => $skin,
));